"数学基礎論序論",_Theorem_7.2